1901. The art and theory of dynamic programming
پدیدآورنده : Dreyfus, Stuart E.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Dynamic programming
رده :
T
57
.
83
.
D73
1977
1902. The art and theory of dynamic programming
پدیدآورنده : Dreyfus, Stuart E
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Dynamic Programming
رده :
T
57
.
83
.
D73
1903. The art and theory of dynamic programming
پدیدآورنده : / Stuart E. Dreyfus, Averill M. Law
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Dynamic programming
رده :
519
.
703
D778a
1904. The beauty of mathematics in computer science /
پدیدآورنده : Jun Wu ; translated from the Chinese edition by Rachel Wu and Yuxi Candice Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Machine learning.,Computer science-- Mathematics.,Informatik,Machine learning.,Mathematik
رده :
QA76
.
9
.
M35
W84
2019
1905. The calculus of chemistry, with an introduction to computer programming
پدیدآورنده : Butler, James Newton
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Chemistry -- Mathematics,، Calculus
رده :
QD
42
.
B85
1906. The design and analysis of computer algorithms /
پدیدآورنده : Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
رده :
QA76
.
6
.
A36
1907. The domain testing workbook /
پدیدآورنده : Cem Kaner, Sowmya Padmanabhan, Douglas Hoffman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming-- Testing.,Computer software-- Quality control.,Computer software-- Reliability.,Computer software-- Testing.,Quality assurance-- Testing.,Computer software-- Quality control.,Computer software-- Reliability.,Computer software-- Testing.
رده :
TS156
.
6
1908. The golden ticket :
پدیدآورنده : Lance Fortnow.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Computer programming-- Algorithms.,Mathematics-- History and philosophy.,Mathematics-- Linear programming.,Mathematics-- Mathematical analysis.,NP-complete problems.
1909. The implementation of Prolog /
پدیدآورنده : Patrice Boizumault ; co-translated by Ara M. Djamboulian and Jamal Fattouh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Prolog (Computer program language),MATHEMATICS-- Linear & Nonlinear Programming.,Prolog (Computer program language)
رده :
QA76
.
73
.
P76
B65
1993eb
1910. The international handbook of giftedness and talent /
پدیدآورنده : editors, Kurt A. Heller [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Gifted children-- Education,Gifted children-- Education-- Research,Gifted persons,Gifted children-- Education, Handbooks, manuals, etc
رده :
LC3993
.
I596
2000
1911. The joy of mathematics :
پدیدآورنده : by Theoni Pappas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics, Popular works.,Mathematics.
رده :
QA93
.
P365
1989
1912. The language of mathematics
پدیدآورنده : / Robert Laurence Baber
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematical notation,English language, Machine translating
رده :
QA41
.
B235
2011
1913. The linearization method for constrained optimization
پدیدآورنده : Pshenichnyi, B. N. )Boris Nikolaevich(
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Nonlinear programming
رده :
T
57
.
8
.
P7913
1994
1914. The linearization method for constrained optimization
پدیدآورنده : Pshenichnyj, Boris Nikolaevich.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Nonlinear programming
رده :
T
57
.
8
.
P7913
1994
1915. The linearization method for constrained optimization
پدیدآورنده : Pshenichnyi, B. N.)Boris Nikolaevich(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Nonlinear programming
رده :
T
57
.
8
.
P79
1994
1916. The little typer /
پدیدآورنده : Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
1917. The making of a new science :
پدیدآورنده : Giorgio Ausiello.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
17
1918. The mathematics of banking and finance
پدیدآورنده : Cox, Dennis W.,Dennis Cox and Michael Cox
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Business mathematics,، Banks and banking , Mathematics
رده :
HF
5691
.
C68
2006